Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
791	PSA — 1998 Category Theory: The Language of Mathematics Elaine Landry — McGill University Within the current literature on the status of category theory, three positions can be discerned. The first, espoused by Lawve Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-06-24 21:43:00 Metalogic Category theory Mathematical object Naive set theory Function Foundations of mathematics Set theory Topos Category Mathematics Philosophy of mathematics Mathematical logic
792	Microsoft Word - trad-vs-modern.doc Add to Reading List Source URL: www.futureu.com Language: English - Date: 2014-07-05 22:12:30 Educational psychology Learning Curricula Instructional design E-learning Learning object Learning theory Instructional simulation Constructive alignment Education Educational technology Pedagogy
793	What is Needle? Needle is an object-oriented functional programming language with a multimethod-based OO system, and a static type system with parameterized types and substantial ML-style type inference. Add to Reading List Source URL: ll2.ai.mit.edu Language: English - Date: 2002-11-18 22:35:24 Data types Method Type theory Cross-platform software Object-oriented programming Multiple dispatch Type system Programming language C Software engineering Computing Computer programming
794	From The Handbook of Object Technology (Editor: Saba Zamir). CRC Press LLC, Boca Raton[removed]ISBN[removed]An Overview of the C++ Programming Language Bjarne Stroustrup AT&T Laboratories Florham Park, NJ07932-097 Add to Reading List Source URL: everobotics.org Language: English - Date: 2007-11-11 04:26:50 Data types Object-oriented programming Type theory Cross-platform software Programming paradigms C++ Generic programming C Programming language Software engineering Computing Computer programming
795	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing
796	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
797	Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-07 18:27:14 Type theory Data types Object-oriented programming Functional languages Procedural programming languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Computing Programming language theory
798	NATIONAL ENGINEERING COLLEGE (An Autonomous Institution – Affiliated to Anna University Chennai) K.R.NAGAR, KOVILPATTI – [removed]www.nec.edu.in Add to Reading List Source URL: nec.edu.in Language: English - Date: 2014-05-20 04:20:12 Computer programming Computer Science and Engineering Graph theory Hash table Object-oriented programming Discrete mathematics Data structure Algorithm Depth-first search Search algorithms Computing Software engineering
799	Constrained Types for Object-Oriented Languages Nathaniel Nystrom ∗ Vijay Saraswat ∗ Jens Palsberg † Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:41 Type theory Constraint programming Data types Method C++ Type system Constructor Constraint inference Objective-C Software engineering Computing Computer programming
800	Composing Multiple Concerns Using Composition Filters Lodewijk Bergmans & Mehmet Aksit TRESE group, Department of Computer Science, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands. email: {bergmans Add to Reading List Source URL: trese.cs.utwente.nl Language: English - Date: 2001-02-21 06:49:30 Object-oriented programming Programming paradigms Aspect-oriented software development Filter theory Object model Filter Enterprise JavaBeans Smalltalk Ada Computing Software engineering Computer programming

UPDATE